update{-}spec1($k$;$x$;$n$;$s$,$v$.$f$($s$;$v$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$k$$,\,$$x$$\rangle$ : [$\langle$$n$$,\,$$\lambda$$s$,$v$. $f$($s$;$v$)$\rangle$]